$\vdash$  $\forall$$n$:$\mathbb{N}$, $i$:\{1..$n$$^{-}$\}. (($\neg$(0 = 0)) $\wedge$ ($\neg$($n$ = 0))) $\Rightarrow$ False